More from this Author

FM 2015: Formal Methods

by Nikolaj Bjørner (Editor), Frank de Boer (Editor)

It's All about Coordination

by Frank de Boer (Editor), Marcello Bonsangue (Editor), Jan Rutten (Editor)

FM 2015: Formal Methods

by Nikolaj Bjørner (Editor), Frank de Boer (Editor), Nikolaj Bjørner (Editor)